Bridging the Gap Between Requirements Sketches and Semi-Formal Models

State-of-the-art requirements modeling tools rely on predefined notations. In contrast, requirements engineers and stakeholders often sketch requirements in arbitrary notations during early elicitation phases. Engineers must then manually transform the sketches into semi-formal models, which is a timeconsuming and error-prone task. We propose to investigate how early sketching and the transformation of sketches can be supported by a semi-automatic method that allows engineers to assign meaning to the sketches on the fly. Our tool-supported contribution is supposed to bridge the gap between sketches and semi-formal models. Posted at the Zurich Open Repository and Archive, University of Zurich ZORA URL: https://doi.org/10.5167/uzh-55675 Originally published at: Wüest, Dustin (2011). Bridging the gap between requirements sketches and semi-formal models. In: Doctoral Symposium of the 19th IEEE International Requirements Engineering Conference, Trento, Italy, 29 August 2011 2 September 2011. Bridging the Gap Between Requirements Sketches and Semi-Formal Models